TSTP Solution File: SEV074^5 by SRASS---0.1